Knihy od autora Ernst-Rüdiger Olderog

Zobrazené 1 – 6 z 6 výsledkov

1. 

   Formal Techniques in Real-Time and Fault-Tolerant Systems

   Werner Damm, Ernst-Rüdiger Olderog | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.65 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
2. 

   Verification of Sequential and Concurrent Programs

   Krzysztof R. Apt, Ernst-Rüdiger Olderog, Frank S. de Boer | Springer London Ltd, 2009

   
   

   Skladom u dodávateľa - Odosielame za 10 - 13 dní

   Jazyk: Angličtina

   Väzba: Pevná

   100.68 €

   Zľava 9 %

   Ušetríte 10.84 €

   Kúpiť
3. 

   Provably Correct Systems

   Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog | Springer International Publishing AG, 2017

   
   

   Skladom u dodávateľa - Odosielame za 10 - 13 dní

   Jazyk: Angličtina

   Väzba: Pevná

   102.90 €

   Zľava 7 %

   Ušetríte 8.62 €

   Kúpiť
4. 

   Correct System Design

   Ernst-Rüdiger Olderog | Springer, Berlin, 1999

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.65 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
5. 

   Programmverifikation

   Krzysztof R. Apt, Ernst-Rüdiger Olderog | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Nemčina

   Väzba: Pevná

   28.40 €

   Zľava 6 %

   Ušetríte 1.88 €

   Kúpiť
6. 

   Provably Correct Systems

   Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog | Springer International Publishing AG, 2018

   
   

   Skladom u dodávateľa - Odosielame za 8 - 11 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   102.90 €

   Zľava 7 %

   Ušetríte 8.62 €

   Kúpiť

Free shipping for orders over 59.99 €. Find out more